Using the archived system model, the form of procedural knowledge can be represented with that of synthetic language. 4. A kind of web models of software developing based on improved Petri Net is introduced. 试验系统采用Web方式建立。依据网络的并发性以及任务的流程性,提出一种基于Petri网的软件开发模型。